Menu
Tatatanda Z PiawaianISO melengkapkan usaha piawaian Z pada 2002. Piawaian ini, berjudul Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics, ISO/IEC 13568:2002, boleh didapati secara lansung dari ISO.
13568_2002.zip, 1 MB PDF, 196 halaman
Menu
Tatatanda Z PiawaianBerkaitan
Tatatanda Z Tatatanda matematik Tatarandang, Bulagi Selatan, Banggai KepulauanRujukan
WikiPedia: Tatatanda Z http://www.brucker.ch/projects/hol-z http://www.iso.ch/iso/en/CatalogueDetailPage.Catal... http://translate.google.com/translate?u=https://en... http://www.usingz.com/ http://uebb.cs.tu-berlin.de/zeta/ http://prpm.dbp.gov.my/ http://czt.sourceforge.net/ http://standards.iso.org/ittf/PubliclyAvailableSta... http://vl.zuser.org/ http://spivey.oriel.ox.ac.uk/mike/fuzz/